Meta AI Has Built A Neural Theorem Prover That Has Solved 10 International Math Olympiad (IMO) Problems — 5x More Than Any Previous Artificial Intelligence AI System – MarkTechPost

https://www.marktechpost.com/2022/11/13/meta-ai-has-built-a-neural-theorem-prover-that-has-solved-10-international-math-olympiad-imo-problems-5x-more-than-any-previous-artificial-intelligence-ai-system/

Watch “My Friends and Their Problems (Star Wars Edition)” on YouTube

https://youtube.com/shorts/0u8WyFIVXvs?feature=share

Scientists fed the Fibonacci Sequence into a Quantum Computer and Something Strange Happened

https://futurism.com/the-byte/fibonacci-quantum-computer

IBM unveils world’s largest quantum computer at 433 qubits | New Scientist

https://www.newscientist.com/article/2346074-ibm-unveils-worlds-largest-quantum-computer-at-433-qubits/

No formal certifications? CUE the Ubuntu skills testing scheme

https://go.theregister.com/feed/www.theregister.com/2022/11/10/ubuntu_skills_informal_certifications/

Visit to PSA by SIT ICT Students

https://www.linkedin.com/posts/activity-6994281731902124032-t32-?utm_source=share&utm_medium=member_android

Many thanks to PSA Singapore for hosting 140 ICT Software Engineering and Information Security students for the visit today to their Innovation Center and Control Center. Great to meet up with staff from the PSA IT department (some of them are our ex-students from the UofG Computing Science Programme and ICT Software Engineering Programme!) who took their time to brief and interact with our students.